automatic program verification
自动程式验证
热门查询
- lambskin n. 羔羊皮；羊皮纸
- RBS abbr. radar bomb score 雷达操纵投弹计分; radar bomb scoring 雷达轰炸命中目标; request blocks 请求程序段
- Louth n. 劳斯郡（爱尔兰地名）
- Magda n. 玛格达(Magdalene 的昵称)(f.)
- annualised a. 年度的 v. 按年计算（annualise的过去式和过去分词）
- chantry n. 附属于礼拜堂的小教堂
- acute adj. 严重的，[医] 急性的；敏锐的；激烈的；尖声的
- crap n. 废话；废物；屎；拉屎 vi. 掷骰子；拉屎 n. (Crap)人名；(英)克拉普
- clementina n. 克莱门蒂娜(Clementine的异体)(f.)
- rosebush n. 蔷薇丛；玫瑰丛；灌木 n. (Rosebush)人名；(英)罗斯布什
- substantially adv. 实质上；大体上；充分地
- knuckle n. 关节；指关节；指节；膝关节；肘 vi. 开始认真工作 vt. 用指关节敲打
- burgher n. 市民（现主要指某些欧洲国家中产阶级的市民或镇民）；公民
- drainage n. 排水；排水系统；污水；排水面积
- pyromaniac n. 放火狂 adj. 放火狂的
- ES abbr. 回声测深（Echo Sounding） n. (Es)人名；(伊朗)Sadine 伊兹丁；(英、荷)埃斯；(柬)艾
- teakwood n. 柚木；柚木木材
- ambitiously adv. 雄心勃勃地；劲头十足地；热切地
- sega abbr. 世嘉株式会社（日本游戏公司）
- anatomist n. 解剖学家；剖析者
考试词汇表
- absorption difference
- absorption efficiency
- absorption equivalent
- absorption extraction
- absorption hygrometer
- absorption indicators
- absorption line width
- absorption loss water
- absorption modulation
- absorption of alcohol
- absorption of vehicle
- absorption photometer
- absorption photometry
- absorption ratio test
- absorption resistance
- absorption saturation
- absorption techniques
- absorption type gauge
- absorption vost basis
- absorption wave meter
